Paul Zimmermann - PDFSEARCH.IO - Document Search Engine

Paul Zimmermann
Results: 69

#	Item
11	Arithmétique flottante en précision arbitraire Vincent LEFÈVRE INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon École « précision et reproductibilité en calcul numérique », Fréjus Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Computing Software Computer programming GNU MPFR Paul Zimmermann GNU Multiple Precision Arithmetic Library Rounding Floating point Fixed-point arithmetic IEEE floating point Precision
12	Introduction to the GNU MPFR Library Vincent LEFÈVRE INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon GNU Hackers Meeting, Paris, Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic GNU MPFR GNU Multiple Precision Arithmetic Library Rounding Paul Zimmermann GNU Compiler Collection GNU Fixed-point arithmetic IEEE floating point Floating point IEEE 754-1985
13	SIPE: Small Integer Plus Exponent Vincent LEFÈVRE AriC, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Arith 21, Austin, Texas, USA, Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Rounding Floating point Paul Zimmermann Double-precision floating-point format Significant figures Signed zero Exponentiation Q Precision
14	BIT manuscript No. (will be inserted by the editor) Computing predecessor and successor in rounding to nearest Siegfried M. Rump · Paul Zimmermann · Sylvie Boldo · Guillaume Melquiond Add to Reading List Source URL: www.lri.fr Language: English - Date: 2009-04-03 13:56:10 Finite model theory Mathematics Category theory Universal property FO Rounding Abstraction
15	Short Division of Long Integers (joint work with David Harvey) Paul Zimmermann October 6, 2011 Add to Reading List Source URL: caramba.loria.fr Language: English - Date: 2016-06-13 15:37:32 Mathematics Computer arithmetic Software Algebra Paul Zimmermann Division algorithm GNU Multiple Precision Arithmetic Library GNU MPFR Rounding Division Integer Remainder
16	BeDoP: Beyond Double Precision Paul Zimmermann ANR FastRelax, Lyon, 27 May 2015 Add to Reading List Source URL: fastrelax.gforge.inria.fr Language: English - Date: 2015-06-13 01:41:45
17	Reliable computing with GNU MPFR Paul Zimmermann ´ LORIA/INRIA Nancy-Grand Est, Equipe CARAMEL - bˆ atiment A, Add to Reading List Source URL: www.loria.fr Language: English Computer arithmetic GNU MPFR Rounding Paul Zimmermann GNU Multiple Precision Arithmetic Library SageMath Extended precision Floating point Interval arithmetic GNU Compiler Collection Precision IEEE floating point
18	NUMERICAL APPROXIMATION OF THE MASSER-GRAMAIN CONSTANT TO FOUR DECIMAL DIGITS: δ = GUILLAUME MELQUIOND AND W. GEORG NOWAK AND PAUL ZIMMERMANN Abstract. We prove that the constant δ studied by Masser, Gramain, Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-12-17 10:56:55 Fourier analysis Complex analysis Mathematical series Symbol Exponentiation Bessel function Pi Fourier transform Limit of a function Singular integral operators of convolution type Dirac delta function
19	` LA CRYPTOLOGIE » COURS ID12 « INTRODUCTION A COURS 8 LA CRYPTOGRAPHIE DANS LA “VRAIE VIE” : NORMES, STANDARDS, LOIS, IMPLANTATIONS. PAUL ZIMMERMANN Add to Reading List Source URL: www.loria.fr Language: French - Date: 2005-12-02 11:59:40
20	` LA CRYPTOLOGIE MODULE ID12 : INTRODUCTION A COURS MAGISTRAL 2 PAUL ZIMMERMANN ´grite Add to Reading List Source URL: www.loria.fr Language: French - Date: 2005-10-22 09:49:46